<?hh

class A {
  public $a3;
  static $a4 = 4;
  static $a5 = 5;
}
class X {
  public $y3;
  static $y4 = 4;
  static $y5 = 5;
}
